// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_URSRA_D_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_URSRA_D_2OPIMM_TRACE_AARCH64_H_

const uint64_t kExpected_NEON_ursra_D_2OPIMM[] = {
  0x8000000000000000,
  0xc000000000000000,
  0xe000000000000000,
  0xf000000000000000,
  0xf800000000000000,
  0xfc00000000000000,
  0xfe00000000000000,
  0xff00000000000000,
  0xff80000000000000,
  0xffc0000000000000,
  0xffe0000000000000,
  0xfff0000000000000,
  0xfff8000000000000,
  0xfffc000000000000,
  0xfffe000000000000,
  0xffff000000000000,
  0xffff800000000000,
  0xffffc00000000000,
  0xffffe00000000000,
  0xfffff00000000000,
  0xfffff80000000000,
  0xfffffc0000000000,
  0xfffffe0000000000,
  0xffffff0000000000,
  0xffffff8000000000,
  0xffffffc000000000,
  0xffffffe000000000,
  0xfffffff000000000,
  0xfffffff800000000,
  0xfffffffc00000000,
  0xfffffffe00000000,
  0xffffffff00000000,
  0xffffffff80000000,
  0xffffffffc0000000,
  0xffffffffe0000000,
  0xfffffffff0000000,
  0xfffffffff8000000,
  0xfffffffffc000000,
  0xfffffffffe000000,
  0xffffffffff000000,
  0xffffffffff800000,
  0xffffffffffc00000,
  0xffffffffffe00000,
  0xfffffffffff00000,
  0xfffffffffff80000,
  0xfffffffffffc0000,
  0xfffffffffffe0000,
  0xffffffffffff0000,
  0xffffffffffff8000,
  0xffffffffffffc000,
  0xffffffffffffe000,
  0xfffffffffffff000,
  0xfffffffffffff800,
  0xfffffffffffffc00,
  0xfffffffffffffe00,
  0xffffffffffffff00,
  0xffffffffffffff80,
  0xffffffffffffffc0,
  0xffffffffffffffe0,
  0xfffffffffffffff0,
  0xfffffffffffffff8,
  0xfffffffffffffffc,
  0xfffffffffffffffe,
  0xffffffffffffffff,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000002,
  0x0000000000000020,
  0x0000000000000030,
  0x0000000000000038,
  0x000000000000003c,
  0x000000000000003e,
  0x000000000000003f,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x0000000000000040,
  0x000000000000003f,
  0x000000000000005e,
  0x000000000000006e,
  0x0000000000000076,
  0x000000000000007a,
  0x000000000000007c,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000007d,
  0x000000000000003f,
  0x000000000000005f,
  0x000000000000006f,
  0x0000000000000077,
  0x000000000000007b,
  0x000000000000007d,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x000000000000007e,
  0x0000000000000040,
  0x0000000000000060,
  0x0000000000000070,
  0x0000000000000078,
  0x000000000000007c,
  0x000000000000007e,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x000000000000007f,
  0x0000000000003fff,
  0x0000000000005ffe,
  0x0000000000006ffe,
  0x00000000000077fe,
  0x0000000000007bfe,
  0x0000000000007dfe,
  0x0000000000007efe,
  0x0000000000007f7e,
  0x0000000000007fbe,
  0x0000000000007fde,
  0x0000000000007fee,
  0x0000000000007ff6,
  0x0000000000007ffa,
  0x0000000000007ffc,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000007ffd,
  0x0000000000003fff,
  0x0000000000005fff,
  0x0000000000006fff,
  0x00000000000077ff,
  0x0000000000007bff,
  0x0000000000007dff,
  0x0000000000007eff,
  0x0000000000007f7f,
  0x0000000000007fbf,
  0x0000000000007fdf,
  0x0000000000007fef,
  0x0000000000007ff7,
  0x0000000000007ffb,
  0x0000000000007ffd,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000007ffe,
  0x0000000000004000,
  0x0000000000006000,
  0x0000000000007000,
  0x0000000000007800,
  0x0000000000007c00,
  0x0000000000007e00,
  0x0000000000007f00,
  0x0000000000007f80,
  0x0000000000007fc0,
  0x0000000000007fe0,
  0x0000000000007ff0,
  0x0000000000007ff8,
  0x0000000000007ffc,
  0x0000000000007ffe,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x0000000000007fff,
  0x000000003fffffff,
  0x000000005ffffffe,
  0x000000006ffffffe,
  0x0000000077fffffe,
  0x000000007bfffffe,
  0x000000007dfffffe,
  0x000000007efffffe,
  0x000000007f7ffffe,
  0x000000007fbffffe,
  0x000000007fdffffe,
  0x000000007feffffe,
  0x000000007ff7fffe,
  0x000000007ffbfffe,
  0x000000007ffdfffe,
  0x000000007ffefffe,
  0x000000007fff7ffe,
  0x000000007fffbffe,
  0x000000007fffdffe,
  0x000000007fffeffe,
  0x000000007ffff7fe,
  0x000000007ffffbfe,
  0x000000007ffffdfe,
  0x000000007ffffefe,
  0x000000007fffff7e,
  0x000000007fffffbe,
  0x000000007fffffde,
  0x000000007fffffee,
  0x000000007ffffff6,
  0x000000007ffffffa,
  0x000000007ffffffc,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000007ffffffd,
  0x000000003fffffff,
  0x000000005fffffff,
  0x000000006fffffff,
  0x0000000077ffffff,
  0x000000007bffffff,
  0x000000007dffffff,
  0x000000007effffff,
  0x000000007f7fffff,
  0x000000007fbfffff,
  0x000000007fdfffff,
  0x000000007fefffff,
  0x000000007ff7ffff,
  0x000000007ffbffff,
  0x000000007ffdffff,
  0x000000007ffeffff,
  0x000000007fff7fff,
  0x000000007fffbfff,
  0x000000007fffdfff,
  0x000000007fffefff,
  0x000000007ffff7ff,
  0x000000007ffffbff,
  0x000000007ffffdff,
  0x000000007ffffeff,
  0x000000007fffff7f,
  0x000000007fffffbf,
  0x000000007fffffdf,
  0x000000007fffffef,
  0x000000007ffffff7,
  0x000000007ffffffb,
  0x000000007ffffffd,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x000000007ffffffe,
  0x0000000040000000,
  0x0000000060000000,
  0x0000000070000000,
  0x0000000078000000,
  0x000000007c000000,
  0x000000007e000000,
  0x000000007f000000,
  0x000000007f800000,
  0x000000007fc00000,
  0x000000007fe00000,
  0x000000007ff00000,
  0x000000007ff80000,
  0x000000007ffc0000,
  0x000000007ffe0000,
  0x000000007fff0000,
  0x000000007fff8000,
  0x000000007fffc000,
  0x000000007fffe000,
  0x000000007ffff000,
  0x000000007ffff800,
  0x000000007ffffc00,
  0x000000007ffffe00,
  0x000000007fffff00,
  0x000000007fffff80,
  0x000000007fffffc0,
  0x000000007fffffe0,
  0x000000007ffffff0,
  0x000000007ffffff8,
  0x000000007ffffffc,
  0x000000007ffffffe,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x000000007fffffff,
  0x199999999999999a,
  0x2666666666666667,
  0x2ccccccccccccccd,
  0x3000000000000000,
  0x319999999999999a,
  0x3266666666666667,
  0x32cccccccccccccd,
  0x3300000000000000,
  0x331999999999999a,
  0x3326666666666667,
  0x332ccccccccccccd,
  0x3330000000000000,
  0x333199999999999a,
  0x3332666666666667,
  0x3332cccccccccccd,
  0x3333000000000000,
  0x333319999999999a,
  0x3333266666666667,
  0x33332ccccccccccd,
  0x3333300000000000,
  0x333331999999999a,
  0x3333326666666667,
  0x333332cccccccccd,
  0x3333330000000000,
  0x333333199999999a,
  0x3333332666666667,
  0x3333332ccccccccd,
  0x3333333000000000,
  0x333333319999999a,
  0x3333333266666667,
  0x33333332cccccccd,
  0x3333333300000000,
  0x333333331999999a,
  0x3333333326666667,
  0x333333332ccccccd,
  0x3333333330000000,
  0x333333333199999a,
  0x3333333332666667,
  0x3333333332cccccd,
  0x3333333333000000,
  0x333333333319999a,
  0x3333333333266667,
  0x33333333332ccccd,
  0x3333333333300000,
  0x333333333331999a,
  0x3333333333326667,
  0x333333333332cccd,
  0x3333333333330000,
  0x333333333333199a,
  0x3333333333332667,
  0x3333333333332ccd,
  0x3333333333333000,
  0x333333333333319a,
  0x3333333333333267,
  0x33333333333332cd,
  0x3333333333333300,
  0x333333333333331a,
  0x3333333333333327,
  0x333333333333332d,
  0x3333333333333330,
  0x3333333333333332,
  0x3333333333333333,
  0x3333333333333333,
  0x3333333333333333,
  0x2aaaaaaaaaaaaaab,
  0x4000000000000000,
  0x4aaaaaaaaaaaaaab,
  0x5000000000000000,
  0x52aaaaaaaaaaaaab,
  0x5400000000000000,
  0x54aaaaaaaaaaaaab,
  0x5500000000000000,
  0x552aaaaaaaaaaaab,
  0x5540000000000000,
  0x554aaaaaaaaaaaab,
  0x5550000000000000,
  0x5552aaaaaaaaaaab,
  0x5554000000000000,
  0x5554aaaaaaaaaaab,
  0x5555000000000000,
  0x55552aaaaaaaaaab,
  0x5555400000000000,
  0x55554aaaaaaaaaab,
  0x5555500000000000,
  0x555552aaaaaaaaab,
  0x5555540000000000,
  0x555554aaaaaaaaab,
  0x5555550000000000,
  0x5555552aaaaaaaab,
  0x5555554000000000,
  0x5555554aaaaaaaab,
  0x5555555000000000,
  0x55555552aaaaaaab,
  0x5555555400000000,
  0x55555554aaaaaaab,
  0x5555555500000000,
  0x555555552aaaaaab,
  0x5555555540000000,
  0x555555554aaaaaab,
  0x5555555550000000,
  0x5555555552aaaaab,
  0x5555555554000000,
  0x5555555554aaaaab,
  0x5555555555000000,
  0x55555555552aaaab,
  0x5555555555400000,
  0x55555555554aaaab,
  0x5555555555500000,
  0x555555555552aaab,
  0x5555555555540000,
  0x555555555554aaab,
  0x5555555555550000,
  0x5555555555552aab,
  0x5555555555554000,
  0x5555555555554aab,
  0x5555555555555000,
  0x55555555555552ab,
  0x5555555555555400,
  0x55555555555554ab,
  0x5555555555555500,
  0x555555555555552b,
  0x5555555555555540,
  0x555555555555554b,
  0x5555555555555550,
  0x5555555555555553,
  0x5555555555555554,
  0x5555555555555555,
  0x5555555555555555,
  0x3fffffffffffffff,
  0x5ffffffffffffffe,
  0x6ffffffffffffffe,
  0x77fffffffffffffe,
  0x7bfffffffffffffe,
  0x7dfffffffffffffe,
  0x7efffffffffffffe,
  0x7f7ffffffffffffe,
  0x7fbffffffffffffe,
  0x7fdffffffffffffe,
  0x7feffffffffffffe,
  0x7ff7fffffffffffe,
  0x7ffbfffffffffffe,
  0x7ffdfffffffffffe,
  0x7ffefffffffffffe,
  0x7fff7ffffffffffe,
  0x7fffbffffffffffe,
  0x7fffdffffffffffe,
  0x7fffeffffffffffe,
  0x7ffff7fffffffffe,
  0x7ffffbfffffffffe,
  0x7ffffdfffffffffe,
  0x7ffffefffffffffe,
  0x7fffff7ffffffffe,
  0x7fffffbffffffffe,
  0x7fffffdffffffffe,
  0x7fffffeffffffffe,
  0x7ffffff7fffffffe,
  0x7ffffffbfffffffe,
  0x7ffffffdfffffffe,
  0x7ffffffefffffffe,
  0x7fffffff7ffffffe,
  0x7fffffffbffffffe,
  0x7fffffffdffffffe,
  0x7fffffffeffffffe,
  0x7ffffffff7fffffe,
  0x7ffffffffbfffffe,
  0x7ffffffffdfffffe,
  0x7ffffffffefffffe,
  0x7fffffffff7ffffe,
  0x7fffffffffbffffe,
  0x7fffffffffdffffe,
  0x7fffffffffeffffe,
  0x7ffffffffff7fffe,
  0x7ffffffffffbfffe,
  0x7ffffffffffdfffe,
  0x7ffffffffffefffe,
  0x7fffffffffff7ffe,
  0x7fffffffffffbffe,
  0x7fffffffffffdffe,
  0x7fffffffffffeffe,
  0x7ffffffffffff7fe,
  0x7ffffffffffffbfe,
  0x7ffffffffffffdfe,
  0x7ffffffffffffefe,
  0x7fffffffffffff7e,
  0x7fffffffffffffbe,
  0x7fffffffffffffde,
  0x7fffffffffffffee,
  0x7ffffffffffffff6,
  0x7ffffffffffffffa,
  0x7ffffffffffffffc,
  0x7ffffffffffffffd,
  0x7ffffffffffffffd,
  0x3fffffffffffffff,
  0x5fffffffffffffff,
  0x6fffffffffffffff,
  0x77ffffffffffffff,
  0x7bffffffffffffff,
  0x7dffffffffffffff,
  0x7effffffffffffff,
  0x7f7fffffffffffff,
  0x7fbfffffffffffff,
  0x7fdfffffffffffff,
  0x7fefffffffffffff,
  0x7ff7ffffffffffff,
  0x7ffbffffffffffff,
  0x7ffdffffffffffff,
  0x7ffeffffffffffff,
  0x7fff7fffffffffff,
  0x7fffbfffffffffff,
  0x7fffdfffffffffff,
  0x7fffefffffffffff,
  0x7ffff7ffffffffff,
  0x7ffffbffffffffff,
  0x7ffffdffffffffff,
  0x7ffffeffffffffff,
  0x7fffff7fffffffff,
  0x7fffffbfffffffff,
  0x7fffffdfffffffff,
  0x7fffffefffffffff,
  0x7ffffff7ffffffff,
  0x7ffffffbffffffff,
  0x7ffffffdffffffff,
  0x7ffffffeffffffff,
  0x7fffffff7fffffff,
  0x7fffffffbfffffff,
  0x7fffffffdfffffff,
  0x7fffffffefffffff,
  0x7ffffffff7ffffff,
  0x7ffffffffbffffff,
  0x7ffffffffdffffff,
  0x7ffffffffeffffff,
  0x7fffffffff7fffff,
  0x7fffffffffbfffff,
  0x7fffffffffdfffff,
  0x7fffffffffefffff,
  0x7ffffffffff7ffff,
  0x7ffffffffffbffff,
  0x7ffffffffffdffff,
  0x7ffffffffffeffff,
  0x7fffffffffff7fff,
  0x7fffffffffffbfff,
  0x7fffffffffffdfff,
  0x7fffffffffffefff,
  0x7ffffffffffff7ff,
  0x7ffffffffffffbff,
  0x7ffffffffffffdff,
  0x7ffffffffffffeff,
  0x7fffffffffffff7f,
  0x7fffffffffffffbf,
  0x7fffffffffffffdf,
  0x7fffffffffffffef,
  0x7ffffffffffffff7,
  0x7ffffffffffffffb,
  0x7ffffffffffffffd,
  0x7ffffffffffffffe,
  0x7ffffffffffffffe,
  0x4000000000000000,
  0x6000000000000000,
  0x7000000000000000,
  0x7800000000000000,
  0x7c00000000000000,
  0x7e00000000000000,
  0x7f00000000000000,
  0x7f80000000000000,
  0x7fc0000000000000,
  0x7fe0000000000000,
  0x7ff0000000000000,
  0x7ff8000000000000,
  0x7ffc000000000000,
  0x7ffe000000000000,
  0x7fff000000000000,
  0x7fff800000000000,
  0x7fffc00000000000,
  0x7fffe00000000000,
  0x7ffff00000000000,
  0x7ffff80000000000,
  0x7ffffc0000000000,
  0x7ffffe0000000000,
  0x7fffff0000000000,
  0x7fffff8000000000,
  0x7fffffc000000000,
  0x7fffffe000000000,
  0x7ffffff000000000,
  0x7ffffff800000000,
  0x7ffffffc00000000,
  0x7ffffffe00000000,
  0x7fffffff00000000,
  0x7fffffff80000000,
  0x7fffffffc0000000,
  0x7fffffffe0000000,
  0x7ffffffff0000000,
  0x7ffffffff8000000,
  0x7ffffffffc000000,
  0x7ffffffffe000000,
  0x7fffffffff000000,
  0x7fffffffff800000,
  0x7fffffffffc00000,
  0x7fffffffffe00000,
  0x7ffffffffff00000,
  0x7ffffffffff80000,
  0x7ffffffffffc0000,
  0x7ffffffffffe0000,
  0x7fffffffffff0000,
  0x7fffffffffff8000,
  0x7fffffffffffc000,
  0x7fffffffffffe000,
  0x7ffffffffffff000,
  0x7ffffffffffff800,
  0x7ffffffffffffc00,
  0x7ffffffffffffe00,
  0x7fffffffffffff00,
  0x7fffffffffffff80,
  0x7fffffffffffffc0,
  0x7fffffffffffffe0,
  0x7ffffffffffffff0,
  0x7ffffffffffffff8,
  0x7ffffffffffffffc,
  0x7ffffffffffffffe,
  0x7fffffffffffffff,
  0x7fffffffffffffff,
  0x4000000000000000,
  0x6000000000000000,
  0x7000000000000000,
  0x7800000000000000,
  0x7c00000000000000,
  0x7e00000000000000,
  0x7f00000000000000,
  0x7f80000000000000,
  0x7fc0000000000000,
  0x7fe0000000000000,
  0x7ff0000000000000,
  0x7ff8000000000000,
  0x7ffc000000000000,
  0x7ffe000000000000,
  0x7fff000000000000,
  0x7fff800000000000,
  0x7fffc00000000000,
  0x7fffe00000000000,
  0x7ffff00000000000,
  0x7ffff80000000000,
  0x7ffffc0000000000,
  0x7ffffe0000000000,
  0x7fffff0000000000,
  0x7fffff8000000000,
  0x7fffffc000000000,
  0x7fffffe000000000,
  0x7ffffff000000000,
  0x7ffffff800000000,
  0x7ffffffc00000000,
  0x7ffffffe00000000,
  0x7fffffff00000000,
  0x7fffffff80000000,
  0x7fffffffc0000000,
  0x7fffffffe0000000,
  0x7ffffffff0000000,
  0x7ffffffff8000000,
  0x7ffffffffc000000,
  0x7ffffffffe000000,
  0x7fffffffff000000,
  0x7fffffffff800000,
  0x7fffffffffc00000,
  0x7fffffffffe00000,
  0x7ffffffffff00000,
  0x7ffffffffff80000,
  0x7ffffffffffc0000,
  0x7ffffffffffe0000,
  0x7fffffffffff0000,
  0x7fffffffffff8000,
  0x7fffffffffffc000,
  0x7fffffffffffe000,
  0x7ffffffffffff000,
  0x7ffffffffffff800,
  0x7ffffffffffffc00,
  0x7ffffffffffffe00,
  0x7fffffffffffff00,
  0x7fffffffffffff80,
  0x7fffffffffffffc0,
  0x7fffffffffffffe0,
  0x7ffffffffffffff0,
  0x7ffffffffffffff8,
  0x7ffffffffffffffc,
  0x7ffffffffffffffe,
  0x7fffffffffffffff,
  0x8000000000000000,
  0x4000000000000001,
  0x6000000000000001,
  0x7000000000000001,
  0x7800000000000001,
  0x7c00000000000001,
  0x7e00000000000001,
  0x7f00000000000001,
  0x7f80000000000001,
  0x7fc0000000000001,
  0x7fe0000000000001,
  0x7ff0000000000001,
  0x7ff8000000000001,
  0x7ffc000000000001,
  0x7ffe000000000001,
  0x7fff000000000001,
  0x7fff800000000001,
  0x7fffc00000000001,
  0x7fffe00000000001,
  0x7ffff00000000001,
  0x7ffff80000000001,
  0x7ffffc0000000001,
  0x7ffffe0000000001,
  0x7fffff0000000001,
  0x7fffff8000000001,
  0x7fffffc000000001,
  0x7fffffe000000001,
  0x7ffffff000000001,
  0x7ffffff800000001,
  0x7ffffffc00000001,
  0x7ffffffe00000001,
  0x7fffffff00000001,
  0x7fffffff80000001,
  0x7fffffffc0000001,
  0x7fffffffe0000001,
  0x7ffffffff0000001,
  0x7ffffffff8000001,
  0x7ffffffffc000001,
  0x7ffffffffe000001,
  0x7fffffffff000001,
  0x7fffffffff800001,
  0x7fffffffffc00001,
  0x7fffffffffe00001,
  0x7ffffffffff00001,
  0x7ffffffffff80001,
  0x7ffffffffffc0001,
  0x7ffffffffffe0001,
  0x7fffffffffff0001,
  0x7fffffffffff8001,
  0x7fffffffffffc001,
  0x7fffffffffffe001,
  0x7ffffffffffff001,
  0x7ffffffffffff801,
  0x7ffffffffffffc01,
  0x7ffffffffffffe01,
  0x7fffffffffffff01,
  0x7fffffffffffff81,
  0x7fffffffffffffc1,
  0x7fffffffffffffe1,
  0x7ffffffffffffff1,
  0x7ffffffffffffff9,
  0x7ffffffffffffffd,
  0x7fffffffffffffff,
  0x8000000000000000,
  0x8000000000000001,
  0x4000000000000001,
  0x6000000000000002,
  0x7000000000000002,
  0x7800000000000002,
  0x7c00000000000002,
  0x7e00000000000002,
  0x7f00000000000002,
  0x7f80000000000002,
  0x7fc0000000000002,
  0x7fe0000000000002,
  0x7ff0000000000002,
  0x7ff8000000000002,
  0x7ffc000000000002,
  0x7ffe000000000002,
  0x7fff000000000002,
  0x7fff800000000002,
  0x7fffc00000000002,
  0x7fffe00000000002,
  0x7ffff00000000002,
  0x7ffff80000000002,
  0x7ffffc0000000002,
  0x7ffffe0000000002,
  0x7fffff0000000002,
  0x7fffff8000000002,
  0x7fffffc000000002,
  0x7fffffe000000002,
  0x7ffffff000000002,
  0x7ffffff800000002,
  0x7ffffffc00000002,
  0x7ffffffe00000002,
  0x7fffffff00000002,
  0x7fffffff80000002,
  0x7fffffffc0000002,
  0x7fffffffe0000002,
  0x7ffffffff0000002,
  0x7ffffffff8000002,
  0x7ffffffffc000002,
  0x7ffffffffe000002,
  0x7fffffffff000002,
  0x7fffffffff800002,
  0x7fffffffffc00002,
  0x7fffffffffe00002,
  0x7ffffffffff00002,
  0x7ffffffffff80002,
  0x7ffffffffffc0002,
  0x7ffffffffffe0002,
  0x7fffffffffff0002,
  0x7fffffffffff8002,
  0x7fffffffffffc002,
  0x7fffffffffffe002,
  0x7ffffffffffff002,
  0x7ffffffffffff802,
  0x7ffffffffffffc02,
  0x7ffffffffffffe02,
  0x7fffffffffffff02,
  0x7fffffffffffff82,
  0x7fffffffffffffc2,
  0x7fffffffffffffe2,
  0x7ffffffffffffff2,
  0x7ffffffffffffffa,
  0x7ffffffffffffffe,
  0x8000000000000000,
  0x8000000000000001,
  0x8000000000000002,
  0x4000000000000002,
  0x6000000000000003,
  0x7000000000000003,
  0x7800000000000003,
  0x7c00000000000003,
  0x7e00000000000003,
  0x7f00000000000003,
  0x7f80000000000003,
  0x7fc0000000000003,
  0x7fe0000000000003,
  0x7ff0000000000003,
  0x7ff8000000000003,
  0x7ffc000000000003,
  0x7ffe000000000003,
  0x7fff000000000003,
  0x7fff800000000003,
  0x7fffc00000000003,
  0x7fffe00000000003,
  0x7ffff00000000003,
  0x7ffff80000000003,
  0x7ffffc0000000003,
  0x7ffffe0000000003,
  0x7fffff0000000003,
  0x7fffff8000000003,
  0x7fffffc000000003,
  0x7fffffe000000003,
  0x7ffffff000000003,
  0x7ffffff800000003,
  0x7ffffffc00000003,
  0x7ffffffe00000003,
  0x7fffffff00000003,
  0x7fffffff80000003,
  0x7fffffffc0000003,
  0x7fffffffe0000003,
  0x7ffffffff0000003,
  0x7ffffffff8000003,
  0x7ffffffffc000003,
  0x7ffffffffe000003,
  0x7fffffffff000003,
  0x7fffffffff800003,
  0x7fffffffffc00003,
  0x7fffffffffe00003,
  0x7ffffffffff00003,
  0x7ffffffffff80003,
  0x7ffffffffffc0003,
  0x7ffffffffffe0003,
  0x7fffffffffff0003,
  0x7fffffffffff8003,
  0x7fffffffffffc003,
  0x7fffffffffffe003,
  0x7ffffffffffff003,
  0x7ffffffffffff803,
  0x7ffffffffffffc03,
  0x7ffffffffffffe03,
  0x7fffffffffffff03,
  0x7fffffffffffff83,
  0x7fffffffffffffc3,
  0x7fffffffffffffe3,
  0x7ffffffffffffff3,
  0x7ffffffffffffffb,
  0x7fffffffffffffff,
  0x8000000000000001,
  0x8000000000000002,
  0x8000000000000003,
  0x5555555555555555,
  0x8000000000000000,
  0x9555555555555555,
  0xa000000000000000,
  0xa555555555555555,
  0xa800000000000000,
  0xa955555555555555,
  0xaa00000000000000,
  0xaa55555555555555,
  0xaa80000000000000,
  0xaa95555555555555,
  0xaaa0000000000000,
  0xaaa5555555555555,
  0xaaa8000000000000,
  0xaaa9555555555555,
  0xaaaa000000000000,
  0xaaaa555555555555,
  0xaaaa800000000000,
  0xaaaa955555555555,
  0xaaaaa00000000000,
  0xaaaaa55555555555,
  0xaaaaa80000000000,
  0xaaaaa95555555555,
  0xaaaaaa0000000000,
  0xaaaaaa5555555555,
  0xaaaaaa8000000000,
  0xaaaaaa9555555555,
  0xaaaaaaa000000000,
  0xaaaaaaa555555555,
  0xaaaaaaa800000000,
  0xaaaaaaa955555555,
  0xaaaaaaaa00000000,
  0xaaaaaaaa55555555,
  0xaaaaaaaa80000000,
  0xaaaaaaaa95555555,
  0xaaaaaaaaa0000000,
  0xaaaaaaaaa5555555,
  0xaaaaaaaaa8000000,
  0xaaaaaaaaa9555555,
  0xaaaaaaaaaa000000,
  0xaaaaaaaaaa555555,
  0xaaaaaaaaaa800000,
  0xaaaaaaaaaa955555,
  0xaaaaaaaaaaa00000,
  0xaaaaaaaaaaa55555,
  0xaaaaaaaaaaa80000,
  0xaaaaaaaaaaa95555,
  0xaaaaaaaaaaaa0000,
  0xaaaaaaaaaaaa5555,
  0xaaaaaaaaaaaa8000,
  0xaaaaaaaaaaaa9555,
  0xaaaaaaaaaaaaa000,
  0xaaaaaaaaaaaaa555,
  0xaaaaaaaaaaaaa800,
  0xaaaaaaaaaaaaa955,
  0xaaaaaaaaaaaaaa00,
  0xaaaaaaaaaaaaaa55,
  0xaaaaaaaaaaaaaa80,
  0xaaaaaaaaaaaaaa95,
  0xaaaaaaaaaaaaaaa0,
  0xaaaaaaaaaaaaaaa5,
  0xaaaaaaaaaaaaaaa8,
  0xaaaaaaaaaaaaaaa9,
  0xaaaaaaaaaaaaaaaa,
  0x6666666666666666,
  0x9999999999999999,
  0xb333333333333333,
  0xc000000000000000,
  0xc666666666666666,
  0xc999999999999999,
  0xcb33333333333333,
  0xcc00000000000000,
  0xcc66666666666666,
  0xcc99999999999999,
  0xccb3333333333333,
  0xccc0000000000000,
  0xccc6666666666666,
  0xccc9999999999999,
  0xcccb333333333333,
  0xcccc000000000000,
  0xcccc666666666666,
  0xcccc999999999999,
  0xccccb33333333333,
  0xccccc00000000000,
  0xccccc66666666666,
  0xccccc99999999999,
  0xcccccb3333333333,
  0xcccccc0000000000,
  0xcccccc6666666666,
  0xcccccc9999999999,
  0xccccccb333333333,
  0xccccccc000000000,
  0xccccccc666666666,
  0xccccccc999999999,
  0xcccccccb33333333,
  0xcccccccc00000000,
  0xcccccccc66666666,
  0xcccccccc99999999,
  0xccccccccb3333333,
  0xccccccccc0000000,
  0xccccccccc6666666,
  0xccccccccc9999999,
  0xcccccccccb333333,
  0xcccccccccc000000,
  0xcccccccccc666666,
  0xcccccccccc999999,
  0xccccccccccb33333,
  0xccccccccccc00000,
  0xccccccccccc66666,
  0xccccccccccc99999,
  0xcccccccccccb3333,
  0xcccccccccccc0000,
  0xcccccccccccc6666,
  0xcccccccccccc9999,
  0xccccccccccccb333,
  0xccccccccccccc000,
  0xccccccccccccc666,
  0xccccccccccccc999,
  0xcccccccccccccb33,
  0xcccccccccccccc00,
  0xcccccccccccccc66,
  0xcccccccccccccc99,
  0xccccccccccccccb3,
  0xccccccccccccccc0,
  0xccccccccccccccc6,
  0xccccccccccccccc9,
  0xcccccccccccccccb,
  0xcccccccccccccccc,
  0x7fffffffc0000000,
  0xbfffffffa0000000,
  0xdfffffff90000000,
  0xefffffff88000000,
  0xf7ffffff84000000,
  0xfbffffff82000000,
  0xfdffffff81000000,
  0xfeffffff80800000,
  0xff7fffff80400000,
  0xffbfffff80200000,
  0xffdfffff80100000,
  0xffefffff80080000,
  0xfff7ffff80040000,
  0xfffbffff80020000,
  0xfffdffff80010000,
  0xfffeffff80008000,
  0xffff7fff80004000,
  0xffffbfff80002000,
  0xffffdfff80001000,
  0xffffefff80000800,
  0xfffff7ff80000400,
  0xfffffbff80000200,
  0xfffffdff80000100,
  0xfffffeff80000080,
  0xffffff7f80000040,
  0xffffffbf80000020,
  0xffffffdf80000010,
  0xffffffef80000008,
  0xfffffff780000004,
  0xfffffffb80000002,
  0xfffffffd80000001,
  0xfffffffe80000001,
  0xffffffff00000001,
  0xffffffff40000001,
  0xffffffff60000001,
  0xffffffff70000001,
  0xffffffff78000001,
  0xffffffff7c000001,
  0xffffffff7e000001,
  0xffffffff7f000001,
  0xffffffff7f800001,
  0xffffffff7fc00001,
  0xffffffff7fe00001,
  0xffffffff7ff00001,
  0xffffffff7ff80001,
  0xffffffff7ffc0001,
  0xffffffff7ffe0001,
  0xffffffff7fff0001,
  0xffffffff7fff8001,
  0xffffffff7fffc001,
  0xffffffff7fffe001,
  0xffffffff7ffff001,
  0xffffffff7ffff801,
  0xffffffff7ffffc01,
  0xffffffff7ffffe01,
  0xffffffff7fffff01,
  0xffffffff7fffff81,
  0xffffffff7fffffc1,
  0xffffffff7fffffe1,
  0xffffffff7ffffff1,
  0xffffffff7ffffff9,
  0xffffffff7ffffffd,
  0xffffffff7fffffff,
  0xffffffff80000000,
  0x7fffffffc0000001,
  0xbfffffffa0000001,
  0xdfffffff90000001,
  0xefffffff88000001,
  0xf7ffffff84000001,
  0xfbffffff82000001,
  0xfdffffff81000001,
  0xfeffffff80800001,
  0xff7fffff80400001,
  0xffbfffff80200001,
  0xffdfffff80100001,
  0xffefffff80080001,
  0xfff7ffff80040001,
  0xfffbffff80020001,
  0xfffdffff80010001,
  0xfffeffff80008001,
  0xffff7fff80004001,
  0xffffbfff80002001,
  0xffffdfff80001001,
  0xffffefff80000801,
  0xfffff7ff80000401,
  0xfffffbff80000201,
  0xfffffdff80000101,
  0xfffffeff80000081,
  0xffffff7f80000041,
  0xffffffbf80000021,
  0xffffffdf80000011,
  0xffffffef80000009,
  0xfffffff780000005,
  0xfffffffb80000003,
  0xfffffffd80000002,
  0xfffffffe80000002,
  0xffffffff00000002,
  0xffffffff40000002,
  0xffffffff60000002,
  0xffffffff70000002,
  0xffffffff78000002,
  0xffffffff7c000002,
  0xffffffff7e000002,
  0xffffffff7f000002,
  0xffffffff7f800002,
  0xffffffff7fc00002,
  0xffffffff7fe00002,
  0xffffffff7ff00002,
  0xffffffff7ff80002,
  0xffffffff7ffc0002,
  0xffffffff7ffe0002,
  0xffffffff7fff0002,
  0xffffffff7fff8002,
  0xffffffff7fffc002,
  0xffffffff7fffe002,
  0xffffffff7ffff002,
  0xffffffff7ffff802,
  0xffffffff7ffffc02,
  0xffffffff7ffffe02,
  0xffffffff7fffff02,
  0xffffffff7fffff82,
  0xffffffff7fffffc2,
  0xffffffff7fffffe2,
  0xffffffff7ffffff2,
  0xffffffff7ffffffa,
  0xffffffff7ffffffe,
  0xffffffff80000000,
  0xffffffff80000001,
  0x7fffffffc0000001,
  0xbfffffffa0000002,
  0xdfffffff90000002,
  0xefffffff88000002,
  0xf7ffffff84000002,
  0xfbffffff82000002,
  0xfdffffff81000002,
  0xfeffffff80800002,
  0xff7fffff80400002,
  0xffbfffff80200002,
  0xffdfffff80100002,
  0xffefffff80080002,
  0xfff7ffff80040002,
  0xfffbffff80020002,
  0xfffdffff80010002,
  0xfffeffff80008002,
  0xffff7fff80004002,
  0xffffbfff80002002,
  0xffffdfff80001002,
  0xffffefff80000802,
  0xfffff7ff80000402,
  0xfffffbff80000202,
  0xfffffdff80000102,
  0xfffffeff80000082,
  0xffffff7f80000042,
  0xffffffbf80000022,
  0xffffffdf80000012,
  0xffffffef8000000a,
  0xfffffff780000006,
  0xfffffffb80000004,
  0xfffffffd80000003,
  0xfffffffe80000003,
  0xffffffff00000003,
  0xffffffff40000003,
  0xffffffff60000003,
  0xffffffff70000003,
  0xffffffff78000003,
  0xffffffff7c000003,
  0xffffffff7e000003,
  0xffffffff7f000003,
  0xffffffff7f800003,
  0xffffffff7fc00003,
  0xffffffff7fe00003,
  0xffffffff7ff00003,
  0xffffffff7ff80003,
  0xffffffff7ffc0003,
  0xffffffff7ffe0003,
  0xffffffff7fff0003,
  0xffffffff7fff8003,
  0xffffffff7fffc003,
  0xffffffff7fffe003,
  0xffffffff7ffff003,
  0xffffffff7ffff803,
  0xffffffff7ffffc03,
  0xffffffff7ffffe03,
  0xffffffff7fffff03,
  0xffffffff7fffff83,
  0xffffffff7fffffc3,
  0xffffffff7fffffe3,
  0xffffffff7ffffff3,
  0xffffffff7ffffffb,
  0xffffffff7fffffff,
  0xffffffff80000001,
  0xffffffff80000002,
  0x7fffffffc0000002,
  0xbfffffffa0000003,
  0xdfffffff90000003,
  0xefffffff88000003,
  0xf7ffffff84000003,
  0xfbffffff82000003,
  0xfdffffff81000003,
  0xfeffffff80800003,
  0xff7fffff80400003,
  0xffbfffff80200003,
  0xffdfffff80100003,
  0xffefffff80080003,
  0xfff7ffff80040003,
  0xfffbffff80020003,
  0xfffdffff80010003,
  0xfffeffff80008003,
  0xffff7fff80004003,
  0xffffbfff80002003,
  0xffffdfff80001003,
  0xffffefff80000803,
  0xfffff7ff80000403,
  0xfffffbff80000203,
  0xfffffdff80000103,
  0xfffffeff80000083,
  0xffffff7f80000043,
  0xffffffbf80000023,
  0xffffffdf80000013,
  0xffffffef8000000b,
  0xfffffff780000007,
  0xfffffffb80000005,
  0xfffffffd80000004,
  0xfffffffe80000004,
  0xffffffff00000004,
  0xffffffff40000004,
  0xffffffff60000004,
  0xffffffff70000004,
  0xffffffff78000004,
  0xffffffff7c000004,
  0xffffffff7e000004,
  0xffffffff7f000004,
  0xffffffff7f800004,
  0xffffffff7fc00004,
  0xffffffff7fe00004,
  0xffffffff7ff00004,
  0xffffffff7ff80004,
  0xffffffff7ffc0004,
  0xffffffff7ffe0004,
  0xffffffff7fff0004,
  0xffffffff7fff8004,
  0xffffffff7fffc004,
  0xffffffff7fffe004,
  0xffffffff7ffff004,
  0xffffffff7ffff804,
  0xffffffff7ffffc04,
  0xffffffff7ffffe04,
  0xffffffff7fffff04,
  0xffffffff7fffff84,
  0xffffffff7fffffc4,
  0xffffffff7fffffe4,
  0xffffffff7ffffff4,
  0xffffffff7ffffffc,
  0xffffffff80000000,
  0xffffffff80000002,
  0xffffffff80000003,
  0x7fffffffffffc000,
  0xbfffffffffffa000,
  0xdfffffffffff9000,
  0xefffffffffff8800,
  0xf7ffffffffff8400,
  0xfbffffffffff8200,
  0xfdffffffffff8100,
  0xfeffffffffff8080,
  0xff7fffffffff8040,
  0xffbfffffffff8020,
  0xffdfffffffff8010,
  0xffefffffffff8008,
  0xfff7ffffffff8004,
  0xfffbffffffff8002,
  0xfffdffffffff8001,
  0xfffeffffffff8001,
  0xffff7fffffff8001,
  0xffffbfffffff8001,
  0xffffdfffffff8001,
  0xffffefffffff8001,
  0xfffff7ffffff8001,
  0xfffffbffffff8001,
  0xfffffdffffff8001,
  0xfffffeffffff8001,
  0xffffff7fffff8001,
  0xffffffbfffff8001,
  0xffffffdfffff8001,
  0xffffffefffff8001,
  0xfffffff7ffff8001,
  0xfffffffbffff8001,
  0xfffffffdffff8001,
  0xfffffffeffff8001,
  0xffffffff7fff8001,
  0xffffffffbfff8001,
  0xffffffffdfff8001,
  0xffffffffefff8001,
  0xfffffffff7ff8001,
  0xfffffffffbff8001,
  0xfffffffffdff8001,
  0xfffffffffeff8001,
  0xffffffffff7f8001,
  0xffffffffffbf8001,
  0xffffffffffdf8001,
  0xffffffffffef8001,
  0xfffffffffff78001,
  0xfffffffffffb8001,
  0xfffffffffffd8001,
  0xfffffffffffe8001,
  0xffffffffffff0001,
  0xffffffffffff4001,
  0xffffffffffff6001,
  0xffffffffffff7001,
  0xffffffffffff7801,
  0xffffffffffff7c01,
  0xffffffffffff7e01,
  0xffffffffffff7f01,
  0xffffffffffff7f81,
  0xffffffffffff7fc1,
  0xffffffffffff7fe1,
  0xffffffffffff7ff1,
  0xffffffffffff7ff9,
  0xffffffffffff7ffd,
  0xffffffffffff7fff,
  0xffffffffffff8000,
  0x7fffffffffffc001,
  0xbfffffffffffa001,
  0xdfffffffffff9001,
  0xefffffffffff8801,
  0xf7ffffffffff8401,
  0xfbffffffffff8201,
  0xfdffffffffff8101,
  0xfeffffffffff8081,
  0xff7fffffffff8041,
  0xffbfffffffff8021,
  0xffdfffffffff8011,
  0xffefffffffff8009,
  0xfff7ffffffff8005,
  0xfffbffffffff8003,
  0xfffdffffffff8002,
  0xfffeffffffff8002,
  0xffff7fffffff8002,
  0xffffbfffffff8002,
  0xffffdfffffff8002,
  0xffffefffffff8002,
  0xfffff7ffffff8002,
  0xfffffbffffff8002,
  0xfffffdffffff8002,
  0xfffffeffffff8002,
  0xffffff7fffff8002,
  0xffffffbfffff8002,
  0xffffffdfffff8002,
  0xffffffefffff8002,
  0xfffffff7ffff8002,
  0xfffffffbffff8002,
  0xfffffffdffff8002,
  0xfffffffeffff8002,
  0xffffffff7fff8002,
  0xffffffffbfff8002,
  0xffffffffdfff8002,
  0xffffffffefff8002,
  0xfffffffff7ff8002,
  0xfffffffffbff8002,
  0xfffffffffdff8002,
  0xfffffffffeff8002,
  0xffffffffff7f8002,
  0xffffffffffbf8002,
  0xffffffffffdf8002,
  0xffffffffffef8002,
  0xfffffffffff78002,
  0xfffffffffffb8002,
  0xfffffffffffd8002,
  0xfffffffffffe8002,
  0xffffffffffff0002,
  0xffffffffffff4002,
  0xffffffffffff6002,
  0xffffffffffff7002,
  0xffffffffffff7802,
  0xffffffffffff7c02,
  0xffffffffffff7e02,
  0xffffffffffff7f02,
  0xffffffffffff7f82,
  0xffffffffffff7fc2,
  0xffffffffffff7fe2,
  0xffffffffffff7ff2,
  0xffffffffffff7ffa,
  0xffffffffffff7ffe,
  0xffffffffffff8000,
  0xffffffffffff8001,
  0x7fffffffffffc001,
  0xbfffffffffffa002,
  0xdfffffffffff9002,
  0xefffffffffff8802,
  0xf7ffffffffff8402,
  0xfbffffffffff8202,
  0xfdffffffffff8102,
  0xfeffffffffff8082,
  0xff7fffffffff8042,
  0xffbfffffffff8022,
  0xffdfffffffff8012,
  0xffefffffffff800a,
  0xfff7ffffffff8006,
  0xfffbffffffff8004,
  0xfffdffffffff8003,
  0xfffeffffffff8003,
  0xffff7fffffff8003,
  0xffffbfffffff8003,
  0xffffdfffffff8003,
  0xffffefffffff8003,
  0xfffff7ffffff8003,
  0xfffffbffffff8003,
  0xfffffdffffff8003,
  0xfffffeffffff8003,
  0xffffff7fffff8003,
  0xffffffbfffff8003,
  0xffffffdfffff8003,
  0xffffffefffff8003,
  0xfffffff7ffff8003,
  0xfffffffbffff8003,
  0xfffffffdffff8003,
  0xfffffffeffff8003,
  0xffffffff7fff8003,
  0xffffffffbfff8003,
  0xffffffffdfff8003,
  0xffffffffefff8003,
  0xfffffffff7ff8003,
  0xfffffffffbff8003,
  0xfffffffffdff8003,
  0xfffffffffeff8003,
  0xffffffffff7f8003,
  0xffffffffffbf8003,
  0xffffffffffdf8003,
  0xffffffffffef8003,
  0xfffffffffff78003,
  0xfffffffffffb8003,
  0xfffffffffffd8003,
  0xfffffffffffe8003,
  0xffffffffffff0003,
  0xffffffffffff4003,
  0xffffffffffff6003,
  0xffffffffffff7003,
  0xffffffffffff7803,
  0xffffffffffff7c03,
  0xffffffffffff7e03,
  0xffffffffffff7f03,
  0xffffffffffff7f83,
  0xffffffffffff7fc3,
  0xffffffffffff7fe3,
  0xffffffffffff7ff3,
  0xffffffffffff7ffb,
  0xffffffffffff7fff,
  0xffffffffffff8001,
  0xffffffffffff8002,
  0x7fffffffffffc002,
  0xbfffffffffffa003,
  0xdfffffffffff9003,
  0xefffffffffff8803,
  0xf7ffffffffff8403,
  0xfbffffffffff8203,
  0xfdffffffffff8103,
  0xfeffffffffff8083,
  0xff7fffffffff8043,
  0xffbfffffffff8023,
  0xffdfffffffff8013,
  0xffefffffffff800b,
  0xfff7ffffffff8007,
  0xfffbffffffff8005,
  0xfffdffffffff8004,
  0xfffeffffffff8004,
  0xffff7fffffff8004,
  0xffffbfffffff8004,
  0xffffdfffffff8004,
  0xffffefffffff8004,
  0xfffff7ffffff8004,
  0xfffffbffffff8004,
  0xfffffdffffff8004,
  0xfffffeffffff8004,
  0xffffff7fffff8004,
  0xffffffbfffff8004,
  0xffffffdfffff8004,
  0xffffffefffff8004,
  0xfffffff7ffff8004,
  0xfffffffbffff8004,
  0xfffffffdffff8004,
  0xfffffffeffff8004,
  0xffffffff7fff8004,
  0xffffffffbfff8004,
  0xffffffffdfff8004,
  0xffffffffefff8004,
  0xfffffffff7ff8004,
  0xfffffffffbff8004,
  0xfffffffffdff8004,
  0xfffffffffeff8004,
  0xffffffffff7f8004,
  0xffffffffffbf8004,
  0xffffffffffdf8004,
  0xffffffffffef8004,
  0xfffffffffff78004,
  0xfffffffffffb8004,
  0xfffffffffffd8004,
  0xfffffffffffe8004,
  0xffffffffffff0004,
  0xffffffffffff4004,
  0xffffffffffff6004,
  0xffffffffffff7004,
  0xffffffffffff7804,
  0xffffffffffff7c04,
  0xffffffffffff7e04,
  0xffffffffffff7f04,
  0xffffffffffff7f84,
  0xffffffffffff7fc4,
  0xffffffffffff7fe4,
  0xffffffffffff7ff4,
  0xffffffffffff7ffc,
  0xffffffffffff8000,
  0xffffffffffff8002,
  0xffffffffffff8003,
  0x7fffffffffffffc0,
  0xbfffffffffffffa0,
  0xdfffffffffffff90,
  0xefffffffffffff88,
  0xf7ffffffffffff84,
  0xfbffffffffffff82,
  0xfdffffffffffff81,
  0xfeffffffffffff81,
  0xff7fffffffffff81,
  0xffbfffffffffff81,
  0xffdfffffffffff81,
  0xffefffffffffff81,
  0xfff7ffffffffff81,
  0xfffbffffffffff81,
  0xfffdffffffffff81,
  0xfffeffffffffff81,
  0xffff7fffffffff81,
  0xffffbfffffffff81,
  0xffffdfffffffff81,
  0xffffefffffffff81,
  0xfffff7ffffffff81,
  0xfffffbffffffff81,
  0xfffffdffffffff81,
  0xfffffeffffffff81,
  0xffffff7fffffff81,
  0xffffffbfffffff81,
  0xffffffdfffffff81,
  0xffffffefffffff81,
  0xfffffff7ffffff81,
  0xfffffffbffffff81,
  0xfffffffdffffff81,
  0xfffffffeffffff81,
  0xffffffff7fffff81,
  0xffffffffbfffff81,
  0xffffffffdfffff81,
  0xffffffffefffff81,
  0xfffffffff7ffff81,
  0xfffffffffbffff81,
  0xfffffffffdffff81,
  0xfffffffffeffff81,
  0xffffffffff7fff81,
  0xffffffffffbfff81,
  0xffffffffffdfff81,
  0xffffffffffefff81,
  0xfffffffffff7ff81,
  0xfffffffffffbff81,
  0xfffffffffffdff81,
  0xfffffffffffeff81,
  0xffffffffffff7f81,
  0xffffffffffffbf81,
  0xffffffffffffdf81,
  0xffffffffffffef81,
  0xfffffffffffff781,
  0xfffffffffffffb81,
  0xfffffffffffffd81,
  0xfffffffffffffe81,
  0xffffffffffffff01,
  0xffffffffffffff41,
  0xffffffffffffff61,
  0xffffffffffffff71,
  0xffffffffffffff79,
  0xffffffffffffff7d,
  0xffffffffffffff7f,
  0xffffffffffffff80,
  0x7fffffffffffffc1,
  0xbfffffffffffffa1,
  0xdfffffffffffff91,
  0xefffffffffffff89,
  0xf7ffffffffffff85,
  0xfbffffffffffff83,
  0xfdffffffffffff82,
  0xfeffffffffffff82,
  0xff7fffffffffff82,
  0xffbfffffffffff82,
  0xffdfffffffffff82,
  0xffefffffffffff82,
  0xfff7ffffffffff82,
  0xfffbffffffffff82,
  0xfffdffffffffff82,
  0xfffeffffffffff82,
  0xffff7fffffffff82,
  0xffffbfffffffff82,
  0xffffdfffffffff82,
  0xffffefffffffff82,
  0xfffff7ffffffff82,
  0xfffffbffffffff82,
  0xfffffdffffffff82,
  0xfffffeffffffff82,
  0xffffff7fffffff82,
  0xffffffbfffffff82,
  0xffffffdfffffff82,
  0xffffffefffffff82,
  0xfffffff7ffffff82,
  0xfffffffbffffff82,
  0xfffffffdffffff82,
  0xfffffffeffffff82,
  0xffffffff7fffff82,
  0xffffffffbfffff82,
  0xffffffffdfffff82,
  0xffffffffefffff82,
  0xfffffffff7ffff82,
  0xfffffffffbffff82,
  0xfffffffffdffff82,
  0xfffffffffeffff82,
  0xffffffffff7fff82,
  0xffffffffffbfff82,
  0xffffffffffdfff82,
  0xffffffffffefff82,
  0xfffffffffff7ff82,
  0xfffffffffffbff82,
  0xfffffffffffdff82,
  0xfffffffffffeff82,
  0xffffffffffff7f82,
  0xffffffffffffbf82,
  0xffffffffffffdf82,
  0xffffffffffffef82,
  0xfffffffffffff782,
  0xfffffffffffffb82,
  0xfffffffffffffd82,
  0xfffffffffffffe82,
  0xffffffffffffff02,
  0xffffffffffffff42,
  0xffffffffffffff62,
  0xffffffffffffff72,
  0xffffffffffffff7a,
  0xffffffffffffff7e,
  0xffffffffffffff80,
  0xffffffffffffff81,
  0x7fffffffffffffc1,
  0xbfffffffffffffa2,
  0xdfffffffffffff92,
  0xefffffffffffff8a,
  0xf7ffffffffffff86,
  0xfbffffffffffff84,
  0xfdffffffffffff83,
  0xfeffffffffffff83,
  0xff7fffffffffff83,
  0xffbfffffffffff83,
  0xffdfffffffffff83,
  0xffefffffffffff83,
  0xfff7ffffffffff83,
  0xfffbffffffffff83,
  0xfffdffffffffff83,
  0xfffeffffffffff83,
  0xffff7fffffffff83,
  0xffffbfffffffff83,
  0xffffdfffffffff83,
  0xffffefffffffff83,
  0xfffff7ffffffff83,
  0xfffffbffffffff83,
  0xfffffdffffffff83,
  0xfffffeffffffff83,
  0xffffff7fffffff83,
  0xffffffbfffffff83,
  0xffffffdfffffff83,
  0xffffffefffffff83,
  0xfffffff7ffffff83,
  0xfffffffbffffff83,
  0xfffffffdffffff83,
  0xfffffffeffffff83,
  0xffffffff7fffff83,
  0xffffffffbfffff83,
  0xffffffffdfffff83,
  0xffffffffefffff83,
  0xfffffffff7ffff83,
  0xfffffffffbffff83,
  0xfffffffffdffff83,
  0xfffffffffeffff83,
  0xffffffffff7fff83,
  0xffffffffffbfff83,
  0xffffffffffdfff83,
  0xffffffffffefff83,
  0xfffffffffff7ff83,
  0xfffffffffffbff83,
  0xfffffffffffdff83,
  0xfffffffffffeff83,
  0xffffffffffff7f83,
  0xffffffffffffbf83,
  0xffffffffffffdf83,
  0xffffffffffffef83,
  0xfffffffffffff783,
  0xfffffffffffffb83,
  0xfffffffffffffd83,
  0xfffffffffffffe83,
  0xffffffffffffff03,
  0xffffffffffffff43,
  0xffffffffffffff63,
  0xffffffffffffff73,
  0xffffffffffffff7b,
  0xffffffffffffff7f,
  0xffffffffffffff81,
  0xffffffffffffff82,
  0x7fffffffffffffc2,
  0xbfffffffffffffa3,
  0xdfffffffffffff93,
  0xefffffffffffff8b,
  0xf7ffffffffffff87,
  0xfbffffffffffff85,
  0xfdffffffffffff84,
  0xfeffffffffffff84,
  0xff7fffffffffff84,
  0xffbfffffffffff84,
  0xffdfffffffffff84,
  0xffefffffffffff84,
  0xfff7ffffffffff84,
  0xfffbffffffffff84,
  0xfffdffffffffff84,
  0xfffeffffffffff84,
  0xffff7fffffffff84,
  0xffffbfffffffff84,
  0xffffdfffffffff84,
  0xffffefffffffff84,
  0xfffff7ffffffff84,
  0xfffffbffffffff84,
  0xfffffdffffffff84,
  0xfffffeffffffff84,
  0xffffff7fffffff84,
  0xffffffbfffffff84,
  0xffffffdfffffff84,
  0xffffffefffffff84,
  0xfffffff7ffffff84,
  0xfffffffbffffff84,
  0xfffffffdffffff84,
  0xfffffffeffffff84,
  0xffffffff7fffff84,
  0xffffffffbfffff84,
  0xffffffffdfffff84,
  0xffffffffefffff84,
  0xfffffffff7ffff84,
  0xfffffffffbffff84,
  0xfffffffffdffff84,
  0xfffffffffeffff84,
  0xffffffffff7fff84,
  0xffffffffffbfff84,
  0xffffffffffdfff84,
  0xffffffffffefff84,
  0xfffffffffff7ff84,
  0xfffffffffffbff84,
  0xfffffffffffdff84,
  0xfffffffffffeff84,
  0xffffffffffff7f84,
  0xffffffffffffbf84,
  0xffffffffffffdf84,
  0xffffffffffffef84,
  0xfffffffffffff784,
  0xfffffffffffffb84,
  0xfffffffffffffd84,
  0xfffffffffffffe84,
  0xffffffffffffff04,
  0xffffffffffffff44,
  0xffffffffffffff64,
  0xffffffffffffff74,
  0xffffffffffffff7c,
  0xffffffffffffff80,
  0xffffffffffffff82,
  0xffffffffffffff83,
  0x7fffffffffffffe0,
  0xbfffffffffffffd0,
  0xdfffffffffffffc8,
  0xefffffffffffffc4,
  0xf7ffffffffffffc2,
  0xfbffffffffffffc1,
  0xfdffffffffffffc1,
  0xfeffffffffffffc1,
  0xff7fffffffffffc1,
  0xffbfffffffffffc1,
  0xffdfffffffffffc1,
  0xffefffffffffffc1,
  0xfff7ffffffffffc1,
  0xfffbffffffffffc1,
  0xfffdffffffffffc1,
  0xfffeffffffffffc1,
  0xffff7fffffffffc1,
  0xffffbfffffffffc1,
  0xffffdfffffffffc1,
  0xffffefffffffffc1,
  0xfffff7ffffffffc1,
  0xfffffbffffffffc1,
  0xfffffdffffffffc1,
  0xfffffeffffffffc1,
  0xffffff7fffffffc1,
  0xffffffbfffffffc1,
  0xffffffdfffffffc1,
  0xffffffefffffffc1,
  0xfffffff7ffffffc1,
  0xfffffffbffffffc1,
  0xfffffffdffffffc1,
  0xfffffffeffffffc1,
  0xffffffff7fffffc1,
  0xffffffffbfffffc1,
  0xffffffffdfffffc1,
  0xffffffffefffffc1,
  0xfffffffff7ffffc1,
  0xfffffffffbffffc1,
  0xfffffffffdffffc1,
  0xfffffffffeffffc1,
  0xffffffffff7fffc1,
  0xffffffffffbfffc1,
  0xffffffffffdfffc1,
  0xffffffffffefffc1,
  0xfffffffffff7ffc1,
  0xfffffffffffbffc1,
  0xfffffffffffdffc1,
  0xfffffffffffeffc1,
  0xffffffffffff7fc1,
  0xffffffffffffbfc1,
  0xffffffffffffdfc1,
  0xffffffffffffefc1,
  0xfffffffffffff7c1,
  0xfffffffffffffbc1,
  0xfffffffffffffdc1,
  0xfffffffffffffec1,
  0xffffffffffffff41,
  0xffffffffffffff81,
  0xffffffffffffffa1,
  0xffffffffffffffb1,
  0xffffffffffffffb9,
  0xffffffffffffffbd,
  0xffffffffffffffbf,
  0xffffffffffffffc0,
  0x7fffffffffffffff,
  0xbffffffffffffffe,
  0xdffffffffffffffe,
  0xeffffffffffffffe,
  0xf7fffffffffffffe,
  0xfbfffffffffffffe,
  0xfdfffffffffffffe,
  0xfefffffffffffffe,
  0xff7ffffffffffffe,
  0xffbffffffffffffe,
  0xffdffffffffffffe,
  0xffeffffffffffffe,
  0xfff7fffffffffffe,
  0xfffbfffffffffffe,
  0xfffdfffffffffffe,
  0xfffefffffffffffe,
  0xffff7ffffffffffe,
  0xffffbffffffffffe,
  0xffffdffffffffffe,
  0xffffeffffffffffe,
  0xfffff7fffffffffe,
  0xfffffbfffffffffe,
  0xfffffdfffffffffe,
  0xfffffefffffffffe,
  0xffffff7ffffffffe,
  0xffffffbffffffffe,
  0xffffffdffffffffe,
  0xffffffeffffffffe,
  0xfffffff7fffffffe,
  0xfffffffbfffffffe,
  0xfffffffdfffffffe,
  0xfffffffefffffffe,
  0xffffffff7ffffffe,
  0xffffffffbffffffe,
  0xffffffffdffffffe,
  0xffffffffeffffffe,
  0xfffffffff7fffffe,
  0xfffffffffbfffffe,
  0xfffffffffdfffffe,
  0xfffffffffefffffe,
  0xffffffffff7ffffe,
  0xffffffffffbffffe,
  0xffffffffffdffffe,
  0xffffffffffeffffe,
  0xfffffffffff7fffe,
  0xfffffffffffbfffe,
  0xfffffffffffdfffe,
  0xfffffffffffefffe,
  0xffffffffffff7ffe,
  0xffffffffffffbffe,
  0xffffffffffffdffe,
  0xffffffffffffeffe,
  0xfffffffffffff7fe,
  0xfffffffffffffbfe,
  0xfffffffffffffdfe,
  0xfffffffffffffefe,
  0xffffffffffffff7e,
  0xffffffffffffffbe,
  0xffffffffffffffde,
  0xffffffffffffffee,
  0xfffffffffffffff6,
  0xfffffffffffffffa,
  0xfffffffffffffffc,
  0xfffffffffffffffd,
  0x7fffffffffffffff,
  0xbfffffffffffffff,
  0xdfffffffffffffff,
  0xefffffffffffffff,
  0xf7ffffffffffffff,
  0xfbffffffffffffff,
  0xfdffffffffffffff,
  0xfeffffffffffffff,
  0xff7fffffffffffff,
  0xffbfffffffffffff,
  0xffdfffffffffffff,
  0xffefffffffffffff,
  0xfff7ffffffffffff,
  0xfffbffffffffffff,
  0xfffdffffffffffff,
  0xfffeffffffffffff,
  0xffff7fffffffffff,
  0xffffbfffffffffff,
  0xffffdfffffffffff,
  0xffffefffffffffff,
  0xfffff7ffffffffff,
  0xfffffbffffffffff,
  0xfffffdffffffffff,
  0xfffffeffffffffff,
  0xffffff7fffffffff,
  0xffffffbfffffffff,
  0xffffffdfffffffff,
  0xffffffefffffffff,
  0xfffffff7ffffffff,
  0xfffffffbffffffff,
  0xfffffffdffffffff,
  0xfffffffeffffffff,
  0xffffffff7fffffff,
  0xffffffffbfffffff,
  0xffffffffdfffffff,
  0xffffffffefffffff,
  0xfffffffff7ffffff,
  0xfffffffffbffffff,
  0xfffffffffdffffff,
  0xfffffffffeffffff,
  0xffffffffff7fffff,
  0xffffffffffbfffff,
  0xffffffffffdfffff,
  0xffffffffffefffff,
  0xfffffffffff7ffff,
  0xfffffffffffbffff,
  0xfffffffffffdffff,
  0xfffffffffffeffff,
  0xffffffffffff7fff,
  0xffffffffffffbfff,
  0xffffffffffffdfff,
  0xffffffffffffefff,
  0xfffffffffffff7ff,
  0xfffffffffffffbff,
  0xfffffffffffffdff,
  0xfffffffffffffeff,
  0xffffffffffffff7f,
  0xffffffffffffffbf,
  0xffffffffffffffdf,
  0xffffffffffffffef,
  0xfffffffffffffff7,
  0xfffffffffffffffb,
  0xfffffffffffffffd,
  0xfffffffffffffffe,
};
const unsigned kExpectedCount_NEON_ursra_D_2OPIMM = 2560;

#endif  // VIXL_SIM_URSRA_D_2OPIMM_TRACE_AARCH64_H_
